#Density : 7710410956549195698673131403/48000000000000000000000000000

Program                      : VertexInducedHypercubeDensityChecker

Dimension of subcubes H      : 4
Number of induced hypercubes : 1
Induced hypercubes           :
4 : {5, 6, 7, 8, 9, 10, 11, 14}
Number of terms              : 19


--- Term 1 ---

Dimension of type  : 0
Dimension of flags : 2
Number of flags    : 6
Matrix dimension   : 6

Flags :
F1 : {0}
F2 : {0, 2}
F3 : {0, 3}
F4 : {0, 2, 3}
F5 : {0, 1, 2}
F6 : {0, 1, 2, 3}

Basis :
B1 : (F1)
B2 : (F2)
B3 : (F3)
B4 : (F4)
B5 : (F5)
B6 : (F6)

Matrix :
8665382429302318204662023/250000000000000000000000000 1374293444606736245785963/25000000000000000000000000 -6916004328088994601463847/125000000000000000000000000 -1700302307997634497090319/50000000000000000000000000 8665382429302318204662023/250000000000000000000000000 -6916004328088994601463847/125000000000000000000000000
1374293444606736245785963/25000000000000000000000000 217957197769182957463103/2500000000000000000000000 -1096849387607440273258507/12500000000000000000000000 -269660841260642475277139/5000000000000000000000000 1374293444606736245785963/25000000000000000000000000 -1096849387607440273258507/12500000000000000000000000
-6916004328088994601463847/125000000000000000000000000 -1096849387607440273258507/12500000000000000000000000 5519792837348179756960583/62500000000000000000000000 1357043179237749030719791/25000000000000000000000000 -6916004328088994601463847/125000000000000000000000000 5519792837348179756960583/62500000000000000000000000
-1700302307997634497090319/50000000000000000000000000 -269660841260642475277139/5000000000000000000000000 1357043179237749030719791/25000000000000000000000000 333629584403102912021207/10000000000000000000000000 -1700302307997634497090319/50000000000000000000000000 1357043179237749030719791/25000000000000000000000000
8665382429302318204662023/250000000000000000000000000 1374293444606736245785963/25000000000000000000000000 -6916004328088994601463847/125000000000000000000000000 -1700302307997634497090319/50000000000000000000000000 8665382429302318204662023/250000000000000000000000000 -6916004328088994601463847/125000000000000000000000000
-6916004328088994601463847/125000000000000000000000000 -1096849387607440273258507/12500000000000000000000000 5519792837348179756960583/62500000000000000000000000 1357043179237749030719791/25000000000000000000000000 -6916004328088994601463847/125000000000000000000000000 5519792837348179756960583/62500000000000000000000000


--- Term 2 ---

Dimension of type  : 0
Dimension of flags : 2
Number of flags    : 6
Matrix dimension   : 6

Flags :
F1 : {}
F2 : {2}
F3 : {3}
F4 : {2, 3}
F5 : {1, 2}
F6 : {1, 2, 3}

Basis :
B1 : (F1)
B2 : (F2)
B3 : (F3)
B4 : (F4)
B5 : (F5)
B6 : (F6)

Matrix :
5519792837348179756960583/62500000000000000000000000 1357043179237749030719791/25000000000000000000000000 -6916004328088994601463847/125000000000000000000000000 -1096849387607440273258507/12500000000000000000000000 5519792837348179756960583/62500000000000000000000000 -6916004328088994601463847/125000000000000000000000000
1357043179237749030719791/25000000000000000000000000 333629584403102912021207/10000000000000000000000000 -1700302307997634497090319/50000000000000000000000000 -269660841260642475277139/5000000000000000000000000 1357043179237749030719791/25000000000000000000000000 -1700302307997634497090319/50000000000000000000000000
-6916004328088994601463847/125000000000000000000000000 -1700302307997634497090319/50000000000000000000000000 8665382429302318204662023/250000000000000000000000000 1374293444606736245785963/25000000000000000000000000 -6916004328088994601463847/125000000000000000000000000 8665382429302318204662023/250000000000000000000000000
-1096849387607440273258507/12500000000000000000000000 -269660841260642475277139/5000000000000000000000000 1374293444606736245785963/25000000000000000000000000 217957197769182957463103/2500000000000000000000000 -1096849387607440273258507/12500000000000000000000000 1374293444606736245785963/25000000000000000000000000
5519792837348179756960583/62500000000000000000000000 1357043179237749030719791/25000000000000000000000000 -6916004328088994601463847/125000000000000000000000000 -1096849387607440273258507/12500000000000000000000000 5519792837348179756960583/62500000000000000000000000 -6916004328088994601463847/125000000000000000000000000
-6916004328088994601463847/125000000000000000000000000 -1700302307997634497090319/50000000000000000000000000 8665382429302318204662023/250000000000000000000000000 1374293444606736245785963/25000000000000000000000000 -6916004328088994601463847/125000000000000000000000000 8665382429302318204662023/250000000000000000000000000


--- Term 3 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 4
Matrix dimension   : 4

Flags :
F1 : {1}
F2 : {1, 2}
F3 : {1, 3}
F4 : {1, 2, 3}

Basis :
B1 : (F1)
B2 : (F2)
B3 : (F3)
B4 : (F4)

Matrix :
0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1


--- Term 4 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 4
Matrix dimension   : 3

Flags :
F1 : {0, 1}
F2 : {0, 1, 2}
F3 : {0, 1, 3}
F4 : {0, 1, 2, 3}

Basis :
B1 : (F1)
B2 : (F2)+(F3)
B3 : (F4)

Matrix :
0/1 0/1 0/1
0/1 0/1 0/1
0/1 0/1 0/1


--- Term 5 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 2
Matrix dimension   : 1

Flags :
F1 : {0, 1, 2}
F2 : {0, 1, 3}

Basis :
B1 : (F2)-(F1)

Matrix :
0/1


--- Term 6 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 4
Matrix dimension   : 3

Flags :
F1 : {}
F2 : {2}
F3 : {3}
F4 : {2, 3}

Basis :
B1 : (F1)
B2 : (F2)+(F3)
B3 : (F4)

Matrix :
0/1 0/1 0/1
0/1 0/1 0/1
0/1 0/1 0/1


--- Term 7 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 2
Matrix dimension   : 1

Flags :
F1 : {2}
F2 : {3}

Basis :
B1 : (F2)-(F1)

Matrix :
0/1


--- Term 8 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 12

Flags :
F1  : {3}
F2  : {3, 4}
F3  : {3, 5}
F4  : {3, 4, 5}
F5  : {3, 6}
F6  : {3, 4, 6}
F7  : {3, 5, 6}
F8  : {3, 4, 5, 6}
F9  : {3, 7}
F10 : {3, 4, 7}
F11 : {3, 5, 7}
F12 : {3, 4, 5, 7}
F13 : {3, 6, 7}
F14 : {3, 4, 6, 7}
F15 : {3, 5, 6, 7}
F16 : {3, 4, 5, 6, 7}

Basis :
B1  : (F1)
B2  : (F2)
B3  : (F3)+(F5)
B4  : (F4)+(F6)
B5  : (F7)
B6  : (F8)
B7  : (F9)
B8  : (F10)
B9  : (F11)+(F13)
B10 : (F12)+(F14)
B11 : (F15)
B12 : (F16)

Matrix :
886066878824598674836037903/1000000000000000000000000000 331885876669071499487355503/500000000000000000000000000 -20010777297528828993749523/250000000000000000000000000 -51514019901741519189265849/1000000000000000000000000000 -246963643079496878089658597/1000000000000000000000000000 -10575940979059889808720027/100000000000000000000000000 28112141292732968962645731/100000000000000000000000000 -513426553073432508425426513/500000000000000000000000000 -548025828142281307509704069/1000000000000000000000000000 8273330153183742809589351/6250000000000000000000000 -56684036975454694632343847/500000000000000000000000000 -1002251414014457160174828193/500000000000000000000000000
331885876669071499487355503/500000000000000000000000000 1498450472880522711655858687/1000000000000000000000000000 -2717907879968307898238787/31250000000000000000000000 -871105156017562514715384349/1000000000000000000000000000 -56684036975454694632343847/500000000000000000000000000 639573831492425020071260369/1000000000000000000000000000 -78541301647236300541489489/1000000000000000000000000000 -5898452812898060763881889/8000000000000000000000000 328852331557624011293544813/1000000000000000000000000000 15153505690907213028369/12500000000000000000000 -998124271397196829093542783/1000000000000000000000000000 -1977308993566853794317284099/1000000000000000000000000000
-20010777297528828993749523/250000000000000000000000000 -2717907879968307898238787/31250000000000000000000000 22392066198219475102931169/500000000000000000000000000 46429793589131724445607013/500000000000000000000000000 -20010777297528828993749523/250000000000000000000000000 -30305904569307839697919203/100000000000000000000000000 -30305904569307839697919203/100000000000000000000000000 225469408829177323510597767/500000000000000000000000000 46429793589131724445607013/500000000000000000000000000 -43066422376436253481806519/100000000000000000000000000 -2717907879968307898238787/31250000000000000000000000 225469408829177323510597767/500000000000000000000000000
-51514019901741519189265849/1000000000000000000000000000 -871105156017562514715384349/1000000000000000000000000000 46429793589131724445607013/500000000000000000000000000 503541391685735952453692979/500000000000000000000000000 -548025828142281307509704069/1000000000000000000000000000 -30191363707286380589977429/40000000000000000000000000 37269478569253447868743221/200000000000000000000000000 1463898993686908989319205839/1000000000000000000000000000 -52389977232837983221168213/125000000000000000000000000 -131298169653182772039689133/100000000000000000000000000 328852331557624011293544813/1000000000000000000000000000 1482234947468181646128088897/1000000000000000000000000000
-246963643079496878089658597/1000000000000000000000000000 -56684036975454694632343847/500000000000000000000000000 -20010777297528828993749523/250000000000000000000000000 -548025828142281307509704069/1000000000000000000000000000 886066878824598674836037903/1000000000000000000000000000 28112141292732968962645731/100000000000000000000000000 -10575940979059889808720027/100000000000000000000000000 -1002251414014457160174828193/500000000000000000000000000 -51514019901741519189265849/1000000000000000000000000000 8273330153183742809589351/6250000000000000000000000 331885876669071499487355503/500000000000000000000000000 -513426553073432508425426513/500000000000000000000000000
-10575940979059889808720027/100000000000000000000000000 639573831492425020071260369/1000000000000000000000000000 -30305904569307839697919203/100000000000000000000000000 -30191363707286380589977429/40000000000000000000000000 28112141292732968962645731/100000000000000000000000000 3530937696320819325118728049/1000000000000000000000000000 2906243103462744822349536051/1000000000000000000000000000 -1250290190541605114506624877/1000000000000000000000000000 37269478569253447868743221/200000000000000000000000000 29786147079289389020033949/20000000000000000000000000 -78541301647236300541489489/1000000000000000000000000000 -1201678496214472567718993703/1000000000000000000000000000
28112141292732968962645731/100000000000000000000000000 -78541301647236300541489489/1000000000000000000000000000 -30305904569307839697919203/100000000000000000000000000 37269478569253447868743221/200000000000000000000000000 -10575940979059889808720027/100000000000000000000000000 2906243103462744822349536051/1000000000000000000000000000 3530937696320819325118728049/1000000000000000000000000000 -1201678496214472567718993703/1000000000000000000000000000 -30191363707286380589977429/40000000000000000000000000 29786147079289389020033949/20000000000000000000000000 639573831492425020071260369/1000000000000000000000000000 -1250290190541605114506624877/1000000000000000000000000000
-513426553073432508425426513/500000000000000000000000000 -5898452812898060763881889/8000000000000000000000000 225469408829177323510597767/500000000000000000000000000 1463898993686908989319205839/1000000000000000000000000000 -1002251414014457160174828193/500000000000000000000000000 -1250290190541605114506624877/1000000000000000000000000000 -1201678496214472567718993703/1000000000000000000000000000 7898864615729664725091488139/1000000000000000000000000000 1482234947468181646128088897/1000000000000000000000000000 -656421518180987219837064357/100000000000000000000000000 -1977308993566853794317284099/1000000000000000000000000000 1378029409289688069635366957/200000000000000000000000000
-548025828142281307509704069/1000000000000000000000000000 328852331557624011293544813/1000000000000000000000000000 46429793589131724445607013/500000000000000000000000000 -52389977232837983221168213/125000000000000000000000000 -51514019901741519189265849/1000000000000000000000000000 37269478569253447868743221/200000000000000000000000000 -30191363707286380589977429/40000000000000000000000000 1482234947468181646128088897/1000000000000000000000000000 503541391685735952453692979/500000000000000000000000000 -131298169653182772039689133/100000000000000000000000000 -871105156017562514715384349/1000000000000000000000000000 1463898993686908989319205839/1000000000000000000000000000
8273330153183742809589351/6250000000000000000000000 15153505690907213028369/12500000000000000000000 -43066422376436253481806519/100000000000000000000000000 -131298169653182772039689133/100000000000000000000000000 8273330153183742809589351/6250000000000000000000000 29786147079289389020033949/20000000000000000000000000 29786147079289389020033949/20000000000000000000000000 -656421518180987219837064357/100000000000000000000000000 -131298169653182772039689133/100000000000000000000000000 588047677566337173725348541/100000000000000000000000000 15153505690907213028369/12500000000000000000000 -656421518180987219837064357/100000000000000000000000000
-56684036975454694632343847/500000000000000000000000000 -998124271397196829093542783/1000000000000000000000000000 -2717907879968307898238787/31250000000000000000000000 328852331557624011293544813/1000000000000000000000000000 331885876669071499487355503/500000000000000000000000000 -78541301647236300541489489/1000000000000000000000000000 639573831492425020071260369/1000000000000000000000000000 -1977308993566853794317284099/1000000000000000000000000000 -871105156017562514715384349/1000000000000000000000000000 15153505690907213028369/12500000000000000000000 1498450472880522711655858687/1000000000000000000000000000 -5898452812898060763881889/8000000000000000000000000
-1002251414014457160174828193/500000000000000000000000000 -1977308993566853794317284099/1000000000000000000000000000 225469408829177323510597767/500000000000000000000000000 1482234947468181646128088897/1000000000000000000000000000 -513426553073432508425426513/500000000000000000000000000 -1201678496214472567718993703/1000000000000000000000000000 -1250290190541605114506624877/1000000000000000000000000000 1378029409289688069635366957/200000000000000000000000000 1463898993686908989319205839/1000000000000000000000000000 -656421518180987219837064357/100000000000000000000000000 -5898452812898060763881889/8000000000000000000000000 7898864615729664725091488139/1000000000000000000000000000


--- Term 9 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 8
Matrix dimension   : 4

Flags :
F1 : {3, 5}
F2 : {3, 4, 5}
F3 : {3, 6}
F4 : {3, 4, 6}
F5 : {3, 5, 7}
F6 : {3, 4, 5, 7}
F7 : {3, 6, 7}
F8 : {3, 4, 6, 7}

Basis :
B1 : (F3)-(F1)
B2 : (F4)-(F2)
B3 : (F7)-(F5)
B4 : (F8)-(F6)

Matrix :
730127143843917404531779567/500000000000000000000000000 355406412351710559987411537/500000000000000000000000000 355406412351710559987411537/500000000000000000000000000 23229543188299195974724239/31250000000000000000000000
355406412351710559987411537/500000000000000000000000000 936365648853362406934698351/500000000000000000000000000 936365648853362406934698351/500000000000000000000000000 57136190134223894139446247/31250000000000000000000000
355406412351710559987411537/500000000000000000000000000 936365648853362406934698351/500000000000000000000000000 936365648853362406934698351/500000000000000000000000000 57136190134223894139446247/31250000000000000000000000
23229543188299195974724239/31250000000000000000000000 57136190134223894139446247/31250000000000000000000000 57136190134223894139446247/31250000000000000000000000 446771027762369327239273827/250000000000000000000000000


--- Term 10 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 10

Flags :
F1  : {2, 3}
F2  : {2, 3, 4}
F3  : {2, 3, 5}
F4  : {2, 3, 4, 5}
F5  : {2, 3, 6}
F6  : {2, 3, 4, 6}
F7  : {2, 3, 5, 6}
F8  : {2, 3, 4, 5, 6}
F9  : {2, 3, 7}
F10 : {2, 3, 4, 7}
F11 : {2, 3, 5, 7}
F12 : {2, 3, 4, 5, 7}
F13 : {2, 3, 6, 7}
F14 : {2, 3, 4, 6, 7}
F15 : {2, 3, 5, 6, 7}
F16 : {2, 3, 4, 5, 6, 7}

Basis :
B1  : (F1)
B2  : (F2)+(F3)
B3  : (F4)
B4  : (F5)+(F9)
B5  : (F6)+(F11)
B6  : (F7)+(F10)
B7  : (F8)+(F12)
B8  : (F13)
B9  : (F14)+(F15)
B10 : (F16)

Matrix :
2045645640042406015185692427/1000000000000000000000000000 -11944725211953017961882499/200000000000000000000000000 3042413042219228987655461/12500000000000000000000000 -238481065586479170558762147/500000000000000000000000000 0/1 -54441095908724965100542027/31250000000000000000000000 475465525012968071029551631/1000000000000000000000000000 -3042413042219228987655461/12500000000000000000000000 30610116109877679948692579/500000000000000000000000000 1438584498115991751248997301/1000000000000000000000000000
-11944725211953017961882499/200000000000000000000000000 3299062061048558523321185759/1000000000000000000000000000 19897902539178156577485287/10000000000000000000000000 -282591631843895332534669547/100000000000000000000000000 0/1 -3247983585571898290782337/15625000000000000000000000 2827235736410121221406452633/1000000000000000000000000000 -19897902539178156577485287/10000000000000000000000000 -1650190739509863209690471461/500000000000000000000000000 475465525012968071029551631/1000000000000000000000000000
3042413042219228987655461/12500000000000000000000000 19897902539178156577485287/10000000000000000000000000 404891557570716258029207237/250000000000000000000000000 -19897902539178156577485287/10000000000000000000000000 0/1 -3042413042219228987655461/12500000000000000000000000 19897902539178156577485287/10000000000000000000000000 -404891557570716258029207237/250000000000000000000000000 -19897902539178156577485287/10000000000000000000000000 3042413042219228987655461/12500000000000000000000000
-238481065586479170558762147/500000000000000000000000000 -282591631843895332534669547/100000000000000000000000000 -19897902539178156577485287/10000000000000000000000000 412713534530948748195570981/125000000000000000000000000 0/1 3247983585571898290782337/15625000000000000000000000 -1650190739509863209690471461/500000000000000000000000000 19897902539178156577485287/10000000000000000000000000 176536845075693109947691909/62500000000000000000000000 30610116109877679948692579/500000000000000000000000000
0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1
-54441095908724965100542027/31250000000000000000000000 -3247983585571898290782337/15625000000000000000000000 -3042413042219228987655461/12500000000000000000000000 3247983585571898290782337/15625000000000000000000000 0/1 54441095908724965100542027/31250000000000000000000000 -3247983585571898290782337/15625000000000000000000000 3042413042219228987655461/12500000000000000000000000 3247983585571898290782337/15625000000000000000000000 -54441095908724965100542027/31250000000000000000000000
475465525012968071029551631/1000000000000000000000000000 2827235736410121221406452633/1000000000000000000000000000 19897902539178156577485287/10000000000000000000000000 -1650190739509863209690471461/500000000000000000000000000 0/1 -3247983585571898290782337/15625000000000000000000000 3299062061048558523321185759/1000000000000000000000000000 -19897902539178156577485287/10000000000000000000000000 -282591631843895332534669547/100000000000000000000000000 -11944725211953017961882499/200000000000000000000000000
-3042413042219228987655461/12500000000000000000000000 -19897902539178156577485287/10000000000000000000000000 -404891557570716258029207237/250000000000000000000000000 19897902539178156577485287/10000000000000000000000000 0/1 3042413042219228987655461/12500000000000000000000000 -19897902539178156577485287/10000000000000000000000000 404891557570716258029207237/250000000000000000000000000 19897902539178156577485287/10000000000000000000000000 -3042413042219228987655461/12500000000000000000000000
30610116109877679948692579/500000000000000000000000000 -1650190739509863209690471461/500000000000000000000000000 -19897902539178156577485287/10000000000000000000000000 176536845075693109947691909/62500000000000000000000000 0/1 3247983585571898290782337/15625000000000000000000000 -282591631843895332534669547/100000000000000000000000000 19897902539178156577485287/10000000000000000000000000 412713534530948748195570981/125000000000000000000000000 -238481065586479170558762147/500000000000000000000000000
1438584498115991751248997301/1000000000000000000000000000 475465525012968071029551631/1000000000000000000000000000 3042413042219228987655461/12500000000000000000000000 30610116109877679948692579/500000000000000000000000000 0/1 -54441095908724965100542027/31250000000000000000000000 -11944725211953017961882499/200000000000000000000000000 -3042413042219228987655461/12500000000000000000000000 -238481065586479170558762147/500000000000000000000000000 2045645640042406015185692427/1000000000000000000000000000


--- Term 11 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 12
Matrix dimension   : 6

Flags :
F1  : {2, 3, 4}
F2  : {2, 3, 5}
F3  : {2, 3, 6}
F4  : {2, 3, 4, 6}
F5  : {2, 3, 5, 6}
F6  : {2, 3, 4, 5, 6}
F7  : {2, 3, 7}
F8  : {2, 3, 4, 7}
F9  : {2, 3, 5, 7}
F10 : {2, 3, 4, 5, 7}
F11 : {2, 3, 4, 6, 7}
F12 : {2, 3, 5, 6, 7}

Basis :
B1 : (F2)-(F1)
B2 : (F7)-(F3)
B3 : (F9)-(F4)
B4 : (F8)-(F5)
B5 : (F10)-(F6)
B6 : (F12)-(F11)

Matrix :
172418189358788199031056327/500000000000000000000000000 -65477789470135091173316157/500000000000000000000000000 8550947618096966204167791/10000000000000000000000000 134545591062981202363314291/500000000000000000000000000 -66141188090087797636287327/500000000000000000000000000 171754790738835492568085157/500000000000000000000000000
-65477789470135091173316157/500000000000000000000000000 171095081747298667344184687/500000000000000000000000000 8550947618096966204167791/10000000000000000000000000 -133797287974782281735025681/500000000000000000000000000 171754790738835492568085157/500000000000000000000000000 -64818080478598265949415687/500000000000000000000000000
8550947618096966204167791/10000000000000000000000000 8550947618096966204167791/10000000000000000000000000 688001207171549555317604049/100000000000000000000000000 0/1 8550947618096966204167791/10000000000000000000000000 8550947618096966204167791/10000000000000000000000000
134545591062981202363314291/500000000000000000000000000 -133797287974782281735025681/500000000000000000000000000 0/1 151765286010325808178123603/500000000000000000000000000 -134545591062981202363314291/500000000000000000000000000 133797287974782281735025681/500000000000000000000000000
-66141188090087797636287327/500000000000000000000000000 171754790738835492568085157/500000000000000000000000000 8550947618096966204167791/10000000000000000000000000 -134545591062981202363314291/500000000000000000000000000 172418189358788199031056327/500000000000000000000000000 -65477789470135091173316157/500000000000000000000000000
171754790738835492568085157/500000000000000000000000000 -64818080478598265949415687/500000000000000000000000000 8550947618096966204167791/10000000000000000000000000 133797287974782281735025681/500000000000000000000000000 -65477789470135091173316157/500000000000000000000000000 171095081747298667344184687/500000000000000000000000000


--- Term 12 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 9

Flags :
F1  : {1, 2}
F2  : {1, 2, 4}
F3  : {1, 2, 5}
F4  : {1, 2, 4, 5}
F5  : {1, 2, 6}
F6  : {1, 2, 4, 6}
F7  : {1, 2, 5, 6}
F8  : {1, 2, 4, 5, 6}
F9  : {1, 2, 7}
F10 : {1, 2, 4, 7}
F11 : {1, 2, 5, 7}
F12 : {1, 2, 4, 5, 7}
F13 : {1, 2, 6, 7}
F14 : {1, 2, 4, 6, 7}
F15 : {1, 2, 5, 6, 7}
F16 : {1, 2, 4, 5, 6, 7}

Basis :
B1 : (F1)
B2 : (F2)+(F9)
B3 : (F3)+(F5)
B4 : (F4)+(F6)+(F11)+(F13)
B5 : (F7)
B6 : (F8)+(F15)
B7 : (F10)
B8 : (F12)+(F14)
B9 : (F16)

Matrix :
1033294582396089417398492699/500000000000000000000000000 22700350656768909817759111/500000000000000000000000000 553215910805181473262809687/500000000000000000000000000 261479675600503400686779/200000000000000000000000000 -183558442553260254065713889/250000000000000000000000000 252787941187698288820693823/500000000000000000000000000 -53946178581340120195237741/500000000000000000000000000 -12875565466275526207179809/31250000000000000000000000 -37868136348095563947530387/25000000000000000000000000
22700350656768909817759111/500000000000000000000000000 42265343424918052683160757/250000000000000000000000000 -258416666091724020699488807/500000000000000000000000000 -49988649175381054252607493/1000000000000000000000000000 11109040804158312286768541/25000000000000000000000000 -296788441500506659046791487/500000000000000000000000000 57352504626467358933736441/500000000000000000000000000 55319073598233344930755539/500000000000000000000000000 -12875565466275526207179809/31250000000000000000000000
553215910805181473262809687/500000000000000000000000000 -258416666091724020699488807/500000000000000000000000000 606589269766297780289935733/250000000000000000000000000 28756321348689118225587623/500000000000000000000000000 -65539514463953653847002213/31250000000000000000000000 581387081593050110169322901/250000000000000000000000000 -90548015446680057218259879/250000000000000000000000000 -296788441500506659046791487/500000000000000000000000000 252787941187698288820693823/500000000000000000000000000
261479675600503400686779/200000000000000000000000000 -49988649175381054252607493/1000000000000000000000000000 28756321348689118225587623/500000000000000000000000000 133508149681454345878392487/1000000000000000000000000000 28625207032747708040261037/250000000000000000000000000 28756321348689118225587623/500000000000000000000000000 -58729592882093679989302601/500000000000000000000000000 -49988649175381054252607493/1000000000000000000000000000 261479675600503400686779/200000000000000000000000000
-183558442553260254065713889/250000000000000000000000000 11109040804158312286768541/25000000000000000000000000 -65539514463953653847002213/31250000000000000000000000 28625207032747708040261037/250000000000000000000000000 257250337637655348754503917/125000000000000000000000000 -65539514463953653847002213/31250000000000000000000000 2296786560421095568393763/12500000000000000000000000 11109040804158312286768541/25000000000000000000000000 -183558442553260254065713889/250000000000000000000000000
252787941187698288820693823/500000000000000000000000000 -296788441500506659046791487/500000000000000000000000000 581387081593050110169322901/250000000000000000000000000 28756321348689118225587623/500000000000000000000000000 -65539514463953653847002213/31250000000000000000000000 606589269766297780289935733/250000000000000000000000000 -90548015446680057218259879/250000000000000000000000000 -258416666091724020699488807/500000000000000000000000000 553215910805181473262809687/500000000000000000000000000
-53946178581340120195237741/500000000000000000000000000 57352504626467358933736441/500000000000000000000000000 -90548015446680057218259879/250000000000000000000000000 -58729592882093679989302601/500000000000000000000000000 2296786560421095568393763/12500000000000000000000000 -90548015446680057218259879/250000000000000000000000000 36158436971314713146285477/250000000000000000000000000 57352504626467358933736441/500000000000000000000000000 -53946178581340120195237741/500000000000000000000000000
-12875565466275526207179809/31250000000000000000000000 55319073598233344930755539/500000000000000000000000000 -296788441500506659046791487/500000000000000000000000000 -49988649175381054252607493/1000000000000000000000000000 11109040804158312286768541/25000000000000000000000000 -258416666091724020699488807/500000000000000000000000000 57352504626467358933736441/500000000000000000000000000 42265343424918052683160757/250000000000000000000000000 22700350656768909817759111/500000000000000000000000000
-37868136348095563947530387/25000000000000000000000000 -12875565466275526207179809/31250000000000000000000000 252787941187698288820693823/500000000000000000000000000 261479675600503400686779/200000000000000000000000000 -183558442553260254065713889/250000000000000000000000000 553215910805181473262809687/500000000000000000000000000 -53946178581340120195237741/500000000000000000000000000 22700350656768909817759111/500000000000000000000000000 1033294582396089417398492699/500000000000000000000000000


--- Term 13 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 12
Matrix dimension   : 7

Flags :
F1  : {1, 2, 4}
F2  : {1, 2, 5}
F3  : {1, 2, 4, 5}
F4  : {1, 2, 6}
F5  : {1, 2, 4, 6}
F6  : {1, 2, 4, 5, 6}
F7  : {1, 2, 7}
F8  : {1, 2, 5, 7}
F9  : {1, 2, 4, 5, 7}
F10 : {1, 2, 6, 7}
F11 : {1, 2, 4, 6, 7}
F12 : {1, 2, 5, 6, 7}

Basis :
B1 : (F7)-(F1)
B2 : (F4)-(F2)
B3 : (F5)-(F3)
B4 : (F8)-(F3)
B5 : (F10)-(F3)
B6 : (F12)-(F6)
B7 : (F11)-(F9)

Matrix :
2288793394277811411004353/3906250000000000000000000 -11540629283647029/31250000000000000000000000 6485775665571006927593079/25000000000000000000000000 -6485775665571006927593079/25000000000000000000000000 -1297155134573189152686297/5000000000000000000000000 34721340625444362360952413/62500000000000000000000000 14642238800868027/62500000000000000000000000
-11540629283647029/31250000000000000000000000 8230124507429942921140473/15625000000000000000000000 -6149387131972488136943229/25000000000000000000000000 6149387131972488136943229/25000000000000000000000000 -6149387125795891318883541/25000000000000000000000000 -56931041710801929/62500000000000000000000000 34721340625444362360952413/62500000000000000000000000
6485775665571006927593079/25000000000000000000000000 -6149387131972488136943229/25000000000000000000000000 1148675272146101087902221/5000000000000000000000000 -1148675272146101087902221/5000000000000000000000000 0/1 6149387131972488136943229/25000000000000000000000000 -6485775665571006927593079/25000000000000000000000000
-6485775665571006927593079/25000000000000000000000000 6149387131972488136943229/25000000000000000000000000 -1148675272146101087902221/5000000000000000000000000 1148675272146101087902221/5000000000000000000000000 0/1 -6149387131972488136943229/25000000000000000000000000 6485775665571006927593079/25000000000000000000000000
-1297155134573189152686297/5000000000000000000000000 -6149387125795891318883541/25000000000000000000000000 0/1 0/1 1148675273811506932011387/5000000000000000000000000 -6149387125795891318883541/25000000000000000000000000 -1297155134573189152686297/5000000000000000000000000
34721340625444362360952413/62500000000000000000000000 -56931041710801929/62500000000000000000000000 6149387131972488136943229/25000000000000000000000000 -6149387131972488136943229/25000000000000000000000000 -6149387125795891318883541/25000000000000000000000000 8230124507429942921140473/15625000000000000000000000 -11540629283647029/31250000000000000000000000
14642238800868027/62500000000000000000000000 34721340625444362360952413/62500000000000000000000000 -6485775665571006927593079/25000000000000000000000000 6485775665571006927593079/25000000000000000000000000 -1297155134573189152686297/5000000000000000000000000 -11540629283647029/31250000000000000000000000 2288793394277811411004353/3906250000000000000000000


--- Term 14 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 12

Flags :
F1  : {1, 2, 3}
F2  : {1, 2, 3, 4}
F3  : {1, 2, 3, 5}
F4  : {1, 2, 3, 4, 5}
F5  : {1, 2, 3, 6}
F6  : {1, 2, 3, 4, 6}
F7  : {1, 2, 3, 5, 6}
F8  : {1, 2, 3, 4, 5, 6}
F9  : {1, 2, 3, 7}
F10 : {1, 2, 3, 4, 7}
F11 : {1, 2, 3, 5, 7}
F12 : {1, 2, 3, 4, 5, 7}
F13 : {1, 2, 3, 6, 7}
F14 : {1, 2, 3, 4, 6, 7}
F15 : {1, 2, 3, 5, 6, 7}
F16 : {1, 2, 3, 4, 5, 6, 7}

Basis :
B1  : (F1)
B2  : (F2)
B3  : (F3)+(F5)
B4  : (F4)+(F6)
B5  : (F7)
B6  : (F8)
B7  : (F9)
B8  : (F10)
B9  : (F11)+(F13)
B10 : (F12)+(F14)
B11 : (F15)
B12 : (F16)

Matrix :
7898864615729664725091488139/1000000000000000000000000000 -1201678496214472567718993703/1000000000000000000000000000 -656421518180987219837064357/100000000000000000000000000 1482234947468181646128088897/1000000000000000000000000000 1378029409289688069635366957/200000000000000000000000000 -1977308993566853794317284099/1000000000000000000000000000 -5898452812898060763881889/8000000000000000000000000 -513426553073432508425426513/500000000000000000000000000 1463898993686908989319205839/1000000000000000000000000000 225469408829177323510597767/500000000000000000000000000 -1250290190541605114506624877/1000000000000000000000000000 -1002251414014457160174828193/500000000000000000000000000
-1201678496214472567718993703/1000000000000000000000000000 3530937696320819325118728049/1000000000000000000000000000 29786147079289389020033949/20000000000000000000000000 -30191363707286380589977429/40000000000000000000000000 -1250290190541605114506624877/1000000000000000000000000000 639573831492425020071260369/1000000000000000000000000000 -78541301647236300541489489/1000000000000000000000000000 28112141292732968962645731/100000000000000000000000000 37269478569253447868743221/200000000000000000000000000 -30305904569307839697919203/100000000000000000000000000 2906243103462744822349536051/1000000000000000000000000000 -10575940979059889808720027/100000000000000000000000000
-656421518180987219837064357/100000000000000000000000000 29786147079289389020033949/20000000000000000000000000 588047677566337173725348541/100000000000000000000000000 -131298169653182772039689133/100000000000000000000000000 -656421518180987219837064357/100000000000000000000000000 15153505690907213028369/12500000000000000000000 15153505690907213028369/12500000000000000000000 8273330153183742809589351/6250000000000000000000000 -131298169653182772039689133/100000000000000000000000000 -43066422376436253481806519/100000000000000000000000000 29786147079289389020033949/20000000000000000000000000 8273330153183742809589351/6250000000000000000000000
1482234947468181646128088897/1000000000000000000000000000 -30191363707286380589977429/40000000000000000000000000 -131298169653182772039689133/100000000000000000000000000 503541391685735952453692979/500000000000000000000000000 1463898993686908989319205839/1000000000000000000000000000 -871105156017562514715384349/1000000000000000000000000000 328852331557624011293544813/1000000000000000000000000000 -548025828142281307509704069/1000000000000000000000000000 -52389977232837983221168213/125000000000000000000000000 46429793589131724445607013/500000000000000000000000000 37269478569253447868743221/200000000000000000000000000 -51514019901741519189265849/1000000000000000000000000000
1378029409289688069635366957/200000000000000000000000000 -1250290190541605114506624877/1000000000000000000000000000 -656421518180987219837064357/100000000000000000000000000 1463898993686908989319205839/1000000000000000000000000000 7898864615729664725091488139/1000000000000000000000000000 -5898452812898060763881889/8000000000000000000000000 -1977308993566853794317284099/1000000000000000000000000000 -1002251414014457160174828193/500000000000000000000000000 1482234947468181646128088897/1000000000000000000000000000 225469408829177323510597767/500000000000000000000000000 -1201678496214472567718993703/1000000000000000000000000000 -513426553073432508425426513/500000000000000000000000000
-1977308993566853794317284099/1000000000000000000000000000 639573831492425020071260369/1000000000000000000000000000 15153505690907213028369/12500000000000000000000 -871105156017562514715384349/1000000000000000000000000000 -5898452812898060763881889/8000000000000000000000000 1498450472880522711655858687/1000000000000000000000000000 -998124271397196829093542783/1000000000000000000000000000 -56684036975454694632343847/500000000000000000000000000 328852331557624011293544813/1000000000000000000000000000 -2717907879968307898238787/31250000000000000000000000 -78541301647236300541489489/1000000000000000000000000000 331885876669071499487355503/500000000000000000000000000
-5898452812898060763881889/8000000000000000000000000 -78541301647236300541489489/1000000000000000000000000000 15153505690907213028369/12500000000000000000000 328852331557624011293544813/1000000000000000000000000000 -1977308993566853794317284099/1000000000000000000000000000 -998124271397196829093542783/1000000000000000000000000000 1498450472880522711655858687/1000000000000000000000000000 331885876669071499487355503/500000000000000000000000000 -871105156017562514715384349/1000000000000000000000000000 -2717907879968307898238787/31250000000000000000000000 639573831492425020071260369/1000000000000000000000000000 -56684036975454694632343847/500000000000000000000000000
-513426553073432508425426513/500000000000000000000000000 28112141292732968962645731/100000000000000000000000000 8273330153183742809589351/6250000000000000000000000 -548025828142281307509704069/1000000000000000000000000000 -1002251414014457160174828193/500000000000000000000000000 -56684036975454694632343847/500000000000000000000000000 331885876669071499487355503/500000000000000000000000000 886066878824598674836037903/1000000000000000000000000000 -51514019901741519189265849/1000000000000000000000000000 -20010777297528828993749523/250000000000000000000000000 -10575940979059889808720027/100000000000000000000000000 -246963643079496878089658597/1000000000000000000000000000
1463898993686908989319205839/1000000000000000000000000000 37269478569253447868743221/200000000000000000000000000 -131298169653182772039689133/100000000000000000000000000 -52389977232837983221168213/125000000000000000000000000 1482234947468181646128088897/1000000000000000000000000000 328852331557624011293544813/1000000000000000000000000000 -871105156017562514715384349/1000000000000000000000000000 -51514019901741519189265849/1000000000000000000000000000 503541391685735952453692979/500000000000000000000000000 46429793589131724445607013/500000000000000000000000000 -30191363707286380589977429/40000000000000000000000000 -548025828142281307509704069/1000000000000000000000000000
225469408829177323510597767/500000000000000000000000000 -30305904569307839697919203/100000000000000000000000000 -43066422376436253481806519/100000000000000000000000000 46429793589131724445607013/500000000000000000000000000 225469408829177323510597767/500000000000000000000000000 -2717907879968307898238787/31250000000000000000000000 -2717907879968307898238787/31250000000000000000000000 -20010777297528828993749523/250000000000000000000000000 46429793589131724445607013/500000000000000000000000000 22392066198219475102931169/500000000000000000000000000 -30305904569307839697919203/100000000000000000000000000 -20010777297528828993749523/250000000000000000000000000
-1250290190541605114506624877/1000000000000000000000000000 2906243103462744822349536051/1000000000000000000000000000 29786147079289389020033949/20000000000000000000000000 37269478569253447868743221/200000000000000000000000000 -1201678496214472567718993703/1000000000000000000000000000 -78541301647236300541489489/1000000000000000000000000000 639573831492425020071260369/1000000000000000000000000000 -10575940979059889808720027/100000000000000000000000000 -30191363707286380589977429/40000000000000000000000000 -30305904569307839697919203/100000000000000000000000000 3530937696320819325118728049/1000000000000000000000000000 28112141292732968962645731/100000000000000000000000000
-1002251414014457160174828193/500000000000000000000000000 -10575940979059889808720027/100000000000000000000000000 8273330153183742809589351/6250000000000000000000000 -51514019901741519189265849/1000000000000000000000000000 -513426553073432508425426513/500000000000000000000000000 331885876669071499487355503/500000000000000000000000000 -56684036975454694632343847/500000000000000000000000000 -246963643079496878089658597/1000000000000000000000000000 -548025828142281307509704069/1000000000000000000000000000 -20010777297528828993749523/250000000000000000000000000 28112141292732968962645731/100000000000000000000000000 886066878824598674836037903/1000000000000000000000000000


--- Term 15 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 8
Matrix dimension   : 4

Flags :
F1 : {1, 2, 3, 5}
F2 : {1, 2, 3, 4, 5}
F3 : {1, 2, 3, 6}
F4 : {1, 2, 3, 4, 6}
F5 : {1, 2, 3, 5, 7}
F6 : {1, 2, 3, 4, 5, 7}
F7 : {1, 2, 3, 6, 7}
F8 : {1, 2, 3, 4, 6, 7}

Basis :
B1 : (F3)-(F1)
B2 : (F4)-(F2)
B3 : (F7)-(F5)
B4 : (F8)-(F6)

Matrix :
446771027762369327239273827/250000000000000000000000000 57136190134223894139446247/31250000000000000000000000 57136190134223894139446247/31250000000000000000000000 23229543188299195974724239/31250000000000000000000000
57136190134223894139446247/31250000000000000000000000 936365648853362406934698351/500000000000000000000000000 936365648853362406934698351/500000000000000000000000000 355406412351710559987411537/500000000000000000000000000
57136190134223894139446247/31250000000000000000000000 936365648853362406934698351/500000000000000000000000000 936365648853362406934698351/500000000000000000000000000 355406412351710559987411537/500000000000000000000000000
23229543188299195974724239/31250000000000000000000000 355406412351710559987411537/500000000000000000000000000 355406412351710559987411537/500000000000000000000000000 730127143843917404531779567/500000000000000000000000000


--- Term 16 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 6

Flags :
F1  : {0, 1, 2, 3}
F2  : {0, 1, 2, 3, 4}
F3  : {0, 1, 2, 3, 5}
F4  : {0, 1, 2, 3, 4, 5}
F5  : {0, 1, 2, 3, 6}
F6  : {0, 1, 2, 3, 4, 6}
F7  : {0, 1, 2, 3, 5, 6}
F8  : {0, 1, 2, 3, 4, 5, 6}
F9  : {0, 1, 2, 3, 7}
F10 : {0, 1, 2, 3, 4, 7}
F11 : {0, 1, 2, 3, 5, 7}
F12 : {0, 1, 2, 3, 4, 5, 7}
F13 : {0, 1, 2, 3, 6, 7}
F14 : {0, 1, 2, 3, 4, 6, 7}
F15 : {0, 1, 2, 3, 5, 6, 7}
F16 : {0, 1, 2, 3, 4, 5, 6, 7}

Basis :
B1 : (F1)
B2 : (F2)+(F3)+(F5)+(F9)
B3 : (F4)+(F6)+(F11)+(F13)
B4 : (F7)+(F10)
B5 : (F8)+(F12)+(F14)+(F15)
B6 : (F16)

Matrix :
1029001352396039742810292281/1000000000000000000000000000 -1048632231882790828146901423/1000000000000000000000000000 3578150779394184855551017/62500000000000000000000000 -367116885682599648201335211/1000000000000000000000000000 111090408472416229498224707/500000000000000000000000000 18374292565407593474225333/200000000000000000000000000
-1048632231882790828146901423/1000000000000000000000000000 148497043790742934145387593/125000000000000000000000000 14378161545975668387233597/500000000000000000000000000 403001925995054491748967343/1000000000000000000000000000 -277602554369552360333055187/1000000000000000000000000000 -18109603118241250338283951/100000000000000000000000000
3578150779394184855551017/62500000000000000000000000 14378161545975668387233597/500000000000000000000000000 16688518685580006199466151/250000000000000000000000000 163424930508714674002607/250000000000000000000000000 -12497162470614096094299891/500000000000000000000000000 -1174591861324629761139837/20000000000000000000000000
-367116885682599648201335211/1000000000000000000000000000 403001925995054491748967343/1000000000000000000000000000 163424930508714674002607/250000000000000000000000000 137965927856959867191254781/1000000000000000000000000000 -2864198395706540630231687/31250000000000000000000000 -10789235733923847213283817/200000000000000000000000000
111090408472416229498224707/500000000000000000000000000 -277602554369552360333055187/1000000000000000000000000000 -12497162470614096094299891/500000000000000000000000000 -2864198395706540630231687/31250000000000000000000000 69924880521804582450438291/1000000000000000000000000000 11470500954781450294550667/200000000000000000000000000
18374292565407593474225333/200000000000000000000000000 -18109603118241250338283951/100000000000000000000000000 -1174591861324629761139837/20000000000000000000000000 -10789235733923847213283817/200000000000000000000000000 11470500954781450294550667/200000000000000000000000000 1807921850671137472665369/25000000000000000000000000


--- Term 17 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 14
Matrix dimension   : 10

Flags :
F1  : {0, 1, 2, 3, 4}
F2  : {0, 1, 2, 3, 5}
F3  : {0, 1, 2, 3, 4, 5}
F4  : {0, 1, 2, 3, 6}
F5  : {0, 1, 2, 3, 4, 6}
F6  : {0, 1, 2, 3, 5, 6}
F7  : {0, 1, 2, 3, 4, 5, 6}
F8  : {0, 1, 2, 3, 7}
F9  : {0, 1, 2, 3, 4, 7}
F10 : {0, 1, 2, 3, 5, 7}
F11 : {0, 1, 2, 3, 4, 5, 7}
F12 : {0, 1, 2, 3, 6, 7}
F13 : {0, 1, 2, 3, 4, 6, 7}
F14 : {0, 1, 2, 3, 5, 6, 7}

Basis :
B1  : (F2)-(F1)
B2  : (F4)-(F1)
B3  : (F8)-(F1)
B4  : (F5)-(F3)
B5  : (F10)-(F3)
B6  : (F12)-(F3)
B7  : (F9)-(F6)
B8  : (F11)-(F7)
B9  : (F13)-(F7)
B10 : (F14)-(F7)

Matrix :
288566171989675492114942883/1000000000000000000000000000 -238161795586047570454748107/1000000000000000000000000000 -1008087530225200820861527/40000000000000000000000000 122987742365797870062288669/1000000000000000000000000000 -122987742365797870062288669/1000000000000000000000000000 122987742073169623718145141/1000000000000000000000000000 -37553496283616818730193773/250000000000000000000000000 16161552347422678821034849/62500000000000000000000000 -296956612532105849211445289/1000000000000000000000000000 19185887608433354265322193/1000000000000000000000000000
-238161795586047570454748107/1000000000000000000000000000 288566172006483162550468909/1000000000000000000000000000 -25202187879122360474614017/1000000000000000000000000000 -122987742304664064717535099/1000000000000000000000000000 122987742304664064717535099/1000000000000000000000000000 -122987742096563876319628167/1000000000000000000000000000 -1502139846160570709873569/10000000000000000000000000 -37119576597404326893668429/125000000000000000000000000 258584837028689340236071037/1000000000000000000000000000 19185887930367935460713159/1000000000000000000000000000
-1008087530225200820861527/40000000000000000000000000 -25202187879122360474614017/1000000000000000000000000000 288566172359155532679166907/1000000000000000000000000000 122987742307338764173175799/1000000000000000000000000000 -122987742307338764173175799/1000000000000000000000000000 -122987742828079941874247769/1000000000000000000000000000 1502139842528540265110837/10000000000000000000000000 1199117958862944906531207/62500000000000000000000000 19185887676904032449981677/1000000000000000000000000000 258584837734313665327992251/1000000000000000000000000000
122987742365797870062288669/1000000000000000000000000000 -122987742304664064717535099/1000000000000000000000000000 122987742307338764173175799/1000000000000000000000000000 114867526986610087843039389/1000000000000000000000000000 -114867526986610087843039389/1000000000000000000000000000 -214571888915069103/1000000000000000000000000000 -54924093216884497/250000000000000000000000000 3242887835484880489907143/25000000000000000000000000 -129715513349161362507561531/1000000000000000000000000000 129715513265248655657542719/1000000000000000000000000000
-122987742365797870062288669/1000000000000000000000000000 122987742304664064717535099/1000000000000000000000000000 -122987742307338764173175799/1000000000000000000000000000 -114867526986610087843039389/1000000000000000000000000000 114867526986610087843039389/1000000000000000000000000000 214571888915069103/1000000000000000000000000000 54924093216884497/250000000000000000000000000 -3242887835484880489907143/25000000000000000000000000 129715513349161362507561531/1000000000000000000000000000 -129715513265248655657542719/1000000000000000000000000000
122987742073169623718145141/1000000000000000000000000000 -122987742096563876319628167/1000000000000000000000000000 -122987742828079941874247769/1000000000000000000000000000 -214571888915069103/1000000000000000000000000000 214571888915069103/1000000000000000000000000000 114867527053630527494043921/1000000000000000000000000000 -7912836055653531/50000000000000000000000000 16214439143757409165056627/125000000000000000000000000 -129715512892054791414075051/1000000000000000000000000000 -129715513737978819029095257/1000000000000000000000000000
-37553496283616818730193773/250000000000000000000000000 -1502139846160570709873569/10000000000000000000000000 1502139842528540265110837/10000000000000000000000000 -54924093216884497/250000000000000000000000000 54924093216884497/250000000000000000000000000 -7912836055653531/50000000000000000000000000 27979020447120471316851127/31250000000000000000000000 1786792157805387206754853/15625000000000000000000000 5717734977118446410460879/50000000000000000000000000 -28588674783233310409802159/250000000000000000000000000
16161552347422678821034849/62500000000000000000000000 -37119576597404326893668429/125000000000000000000000000 1199117958862944906531207/62500000000000000000000000 3242887835484880489907143/25000000000000000000000000 -3242887835484880489907143/25000000000000000000000000 16214439143757409165056627/125000000000000000000000000 1786792157805387206754853/15625000000000000000000000 9611605055282623377052199/31250000000000000000000000 -1087342766919240767649383/3906250000000000000000000 -912862919295591642360737/62500000000000000000000000
-296956612532105849211445289/1000000000000000000000000000 258584837028689340236071037/1000000000000000000000000000 19185887676904032449981677/1000000000000000000000000000 -129715513349161362507561531/1000000000000000000000000000 129715513349161362507561531/1000000000000000000000000000 -129715512892054791414075051/1000000000000000000000000000 5717734977118446410460879/50000000000000000000000000 -1087342766919240767649383/3906250000000000000000000 61514272235644319588470663/200000000000000000000000000 -14605806707590119803767379/1000000000000000000000000000
19185887608433354265322193/1000000000000000000000000000 19185887930367935460713159/1000000000000000000000000000 258584837734313665327992251/1000000000000000000000000000 129715513265248655657542719/1000000000000000000000000000 -129715513265248655657542719/1000000000000000000000000000 -129715513737978819029095257/1000000000000000000000000000 -28588674783233310409802159/250000000000000000000000000 -912862919295591642360737/62500000000000000000000000 -14605806707590119803767379/1000000000000000000000000000 307571361791440598810899307/1000000000000000000000000000


--- Term 18 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 6

Flags :
F1  : {}
F2  : {4}
F3  : {5}
F4  : {4, 5}
F5  : {6}
F6  : {4, 6}
F7  : {5, 6}
F8  : {4, 5, 6}
F9  : {7}
F10 : {4, 7}
F11 : {5, 7}
F12 : {4, 5, 7}
F13 : {6, 7}
F14 : {4, 6, 7}
F15 : {5, 6, 7}
F16 : {4, 5, 6, 7}

Basis :
B1 : (F1)
B2 : (F2)+(F3)+(F5)+(F9)
B3 : (F4)+(F6)+(F11)+(F13)
B4 : (F7)+(F10)
B5 : (F8)+(F12)+(F14)+(F15)
B6 : (F16)

Matrix :
1807921850671137472665369/25000000000000000000000000 11470500954781450294550667/200000000000000000000000000 -1174591861324629761139837/20000000000000000000000000 -10789235733923847213283817/200000000000000000000000000 -18109603118241250338283951/100000000000000000000000000 18374292565407593474225333/200000000000000000000000000
11470500954781450294550667/200000000000000000000000000 69924880521804582450438291/1000000000000000000000000000 -12497162470614096094299891/500000000000000000000000000 -2864198395706540630231687/31250000000000000000000000 -277602554369552360333055187/1000000000000000000000000000 111090408472416229498224707/500000000000000000000000000
-1174591861324629761139837/20000000000000000000000000 -12497162470614096094299891/500000000000000000000000000 16688518685580006199466151/250000000000000000000000000 163424930508714674002607/250000000000000000000000000 14378161545975668387233597/500000000000000000000000000 3578150779394184855551017/62500000000000000000000000
-10789235733923847213283817/200000000000000000000000000 -2864198395706540630231687/31250000000000000000000000 163424930508714674002607/250000000000000000000000000 137965927856959867191254781/1000000000000000000000000000 403001925995054491748967343/1000000000000000000000000000 -367116885682599648201335211/1000000000000000000000000000
-18109603118241250338283951/100000000000000000000000000 -277602554369552360333055187/1000000000000000000000000000 14378161545975668387233597/500000000000000000000000000 403001925995054491748967343/1000000000000000000000000000 148497043790742934145387593/125000000000000000000000000 -1048632231882790828146901423/1000000000000000000000000000
18374292565407593474225333/200000000000000000000000000 111090408472416229498224707/500000000000000000000000000 3578150779394184855551017/62500000000000000000000000 -367116885682599648201335211/1000000000000000000000000000 -1048632231882790828146901423/1000000000000000000000000000 1029001352396039742810292281/1000000000000000000000000000


--- Term 19 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 14
Matrix dimension   : 10

Flags :
F1  : {4}
F2  : {5}
F3  : {4, 5}
F4  : {6}
F5  : {4, 6}
F6  : {5, 6}
F7  : {4, 5, 6}
F8  : {7}
F9  : {4, 7}
F10 : {5, 7}
F11 : {4, 5, 7}
F12 : {6, 7}
F13 : {4, 6, 7}
F14 : {5, 6, 7}

Basis :
B1  : (F2)-(F1)
B2  : (F4)-(F1)
B3  : (F8)-(F1)
B4  : (F5)-(F3)
B5  : (F10)-(F3)
B6  : (F12)-(F3)
B7  : (F9)-(F6)
B8  : (F11)-(F7)
B9  : (F13)-(F7)
B10 : (F14)-(F7)

Matrix :
9611605055282623377052199/31250000000000000000000000 -1087342766919240767649383/3906250000000000000000000 -912862919295591642360737/62500000000000000000000000 3242887835484880489907143/25000000000000000000000000 -3242887835484880489907143/25000000000000000000000000 16214439143757409165056627/125000000000000000000000000 -1786792157805387206754853/15625000000000000000000000 16161552347422678821034849/62500000000000000000000000 -37119576597404326893668429/125000000000000000000000000 1199117958862944906531207/62500000000000000000000000
-1087342766919240767649383/3906250000000000000000000 61514272235644319588470663/200000000000000000000000000 -14605806707590119803767379/1000000000000000000000000000 -129715513349161362507561531/1000000000000000000000000000 129715513349161362507561531/1000000000000000000000000000 -129715512892054791414075051/1000000000000000000000000000 -5717734977118446410460879/50000000000000000000000000 -296956612532105849211445289/1000000000000000000000000000 258584837028689340236071037/1000000000000000000000000000 19185887676904032449981677/1000000000000000000000000000
-912862919295591642360737/62500000000000000000000000 -14605806707590119803767379/1000000000000000000000000000 307571361791440598810899307/1000000000000000000000000000 129715513265248655657542719/1000000000000000000000000000 -129715513265248655657542719/1000000000000000000000000000 -129715513737978819029095257/1000000000000000000000000000 28588674783233310409802159/250000000000000000000000000 19185887608433354265322193/1000000000000000000000000000 19185887930367935460713159/1000000000000000000000000000 258584837734313665327992251/1000000000000000000000000000
3242887835484880489907143/25000000000000000000000000 -129715513349161362507561531/1000000000000000000000000000 129715513265248655657542719/1000000000000000000000000000 114867526986610087843039389/1000000000000000000000000000 -114867526986610087843039389/1000000000000000000000000000 -214571888915069103/1000000000000000000000000000 54924093216884497/250000000000000000000000000 122987742365797870062288669/1000000000000000000000000000 -122987742304664064717535099/1000000000000000000000000000 122987742307338764173175799/1000000000000000000000000000
-3242887835484880489907143/25000000000000000000000000 129715513349161362507561531/1000000000000000000000000000 -129715513265248655657542719/1000000000000000000000000000 -114867526986610087843039389/1000000000000000000000000000 114867526986610087843039389/1000000000000000000000000000 214571888915069103/1000000000000000000000000000 -54924093216884497/250000000000000000000000000 -122987742365797870062288669/1000000000000000000000000000 122987742304664064717535099/1000000000000000000000000000 -122987742307338764173175799/1000000000000000000000000000
16214439143757409165056627/125000000000000000000000000 -129715512892054791414075051/1000000000000000000000000000 -129715513737978819029095257/1000000000000000000000000000 -214571888915069103/1000000000000000000000000000 214571888915069103/1000000000000000000000000000 114867527053630527494043921/1000000000000000000000000000 7912836055653531/50000000000000000000000000 122987742073169623718145141/1000000000000000000000000000 -122987742096563876319628167/1000000000000000000000000000 -122987742828079941874247769/1000000000000000000000000000
-1786792157805387206754853/15625000000000000000000000 -5717734977118446410460879/50000000000000000000000000 28588674783233310409802159/250000000000000000000000000 54924093216884497/250000000000000000000000000 -54924093216884497/250000000000000000000000000 7912836055653531/50000000000000000000000000 27979020447120471316851127/31250000000000000000000000 37553496283616818730193773/250000000000000000000000000 1502139846160570709873569/10000000000000000000000000 -1502139842528540265110837/10000000000000000000000000
16161552347422678821034849/62500000000000000000000000 -296956612532105849211445289/1000000000000000000000000000 19185887608433354265322193/1000000000000000000000000000 122987742365797870062288669/1000000000000000000000000000 -122987742365797870062288669/1000000000000000000000000000 122987742073169623718145141/1000000000000000000000000000 37553496283616818730193773/250000000000000000000000000 288566171989675492114942883/1000000000000000000000000000 -238161795586047570454748107/1000000000000000000000000000 -1008087530225200820861527/40000000000000000000000000
-37119576597404326893668429/125000000000000000000000000 258584837028689340236071037/1000000000000000000000000000 19185887930367935460713159/1000000000000000000000000000 -122987742304664064717535099/1000000000000000000000000000 122987742304664064717535099/1000000000000000000000000000 -122987742096563876319628167/1000000000000000000000000000 1502139846160570709873569/10000000000000000000000000 -238161795586047570454748107/1000000000000000000000000000 288566172006483162550468909/1000000000000000000000000000 -25202187879122360474614017/1000000000000000000000000000
1199117958862944906531207/62500000000000000000000000 19185887676904032449981677/1000000000000000000000000000 258584837734313665327992251/1000000000000000000000000000 122987742307338764173175799/1000000000000000000000000000 -122987742307338764173175799/1000000000000000000000000000 -122987742828079941874247769/1000000000000000000000000000 -1502139842528540265110837/10000000000000000000000000 -1008087530225200820861527/40000000000000000000000000 -25202187879122360474614017/1000000000000000000000000000 288566172359155532679166907/1000000000000000000000000000

